Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💻Programming languages
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
💻Programming languages
LLM-Generated Rules Engines for LLM Explainability
brain.co·4h·
Discuss: Hacker News
💻Programming languages
Death to Type Classes
jappie.me·5h·
Discuss: Hacker News
💻Programming languages
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.com·1d
💻Programming languages
The Data Backbone of LLM Systems
infoq.com·1d·
Discuss: Lobsters
🗃️Database Internals
Gauss, an Agent for Autoformalization
math.inc·21h·
Discuss: Hacker News, Hacker News
💻Programming languages
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1d·
Discuss: Hacker News
🏹Apache Arrow
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·17h·
Discuss: Hacker News
💻Programming languages
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·23h·
Discuss: Hacker News
📏Linear Types
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
💻Programming languages
Context Pruning in Conversational Agent
poonai.xyz·2d·
Discuss: Hacker News
💻Programming languages
Lobsters Interview with Susam
lobste.rs·1h·
Discuss: Lobsters
💻Programming languages
The bloat of edge-case first libraries
43081j.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
💻Programming languages
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·56m·
Discuss: Substack
📏Linear Types
DHH is immortal, and costs $200M
danieltenner.com·2h·
Discuss: Hacker News
💻Programming languages
Larry Wall – Present Continuous, Future Perfect (2006)
perl.org.il·3h·
Discuss: Hacker News
💻Programming languages
The Elements of Programming Style
en.wikipedia.org·4h·
Discuss: Hacker News
💻Programming languages
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·18h·
Discuss: Hacker News
🌊Stream Processing